xen/arm: vgic: Add spi_to_pending
authorJulien Grall <julien.grall@linaro.org>
Tue, 28 Apr 2015 14:32:26 +0000 (15:32 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 8 May 2015 14:41:58 +0000 (15:41 +0100)
commit62fc96f6a221cc4263734281438ef1b46ab29c2a
tree192e942aa3b49e20994725160d9f9b0d43f34074
parent986b4d2cfa757bfc82bfd3d627069a0a6fd50b0f
xen/arm: vgic: Add spi_to_pending

Introduce spi_to_pending in order retrieve the irq_pending structure for
a specific SPI.

It's not possible to re-use irq_to_pending because it's required a VCPU
and some call of the new function may during domain destruction after
the VCPUs are freed.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic.c
xen/include/asm-arm/vgic.h